Esta pesquisa analisa as motivações de Heidegger para colocar em questão o sentido do ser,conforme seu projeto em _Ser e Tempo_, publicado em 1927, no qual analisa a metafísica tradicional e chega à conclusão de que a história da filosofia se deteve a refletir apenas sobre os entes, esquecendo-se do ser. No §6 de _Ser e Tempo_, Heidegger assume como tarefa a destruição da história da ontologia. Por isto, tece profundas críticas à categorização do ser na _Vorhandenheit_ grega – em (...) Platão e Aristóteles – e desarticula o racionalismo de René Descartes. Para os gregos, o ser consistia em uma essência previamente estabelecida, e caracterizava-se pela universalidade, infinitude e imutabilidade. Em Descartes, com a elaboração da _res cogitans _e _res extensa_, assujeitou-se o _Dasein_ e a dualidade entre sujeito e objeto foi fortificada. Heidegger, por seu turno, objetivou o desenvolvimento de uma filosofia que desarticulasse a metafísica proposta pela tradição (incluindo-se a corrente racionalista), e aludiu que o _Dasein_, isto é, o ente humano, pelo seu caráter ontológico, não possui essência prévia – é um ente existencial – e não é um sujeito dual – pois é um _ser-no-mundo_. Logo, não há, na natureza humana, elementos que caracterizam o ser do ente humano antes da sua existência propriamente dita, porque é apenas na existência e nos horizontes de temporalidade que o _Dasein_ se constitui e se percebe como ente aberto às possibilidades mundanas. A filosofia heideggeriana, neste sentido, pode ser relacionada com a educação, já que os diferentes saberes são construídos coletivamente, na relação ser-com (_mitsein_). Partindo da ontologia de Heidegger, a educação é uma ferramenta que possibilita o direcionamento do ser do estudante à autenticidade existencial. (shrink)

This thought-provoking book discusses the concept of progress in economics and investigates whether any advance has been made in its different spheres of research. The authors look back at the history, successes and failures of their respective fields and thoroughly examine the notion of progress from an epistemological and methodological perspective. The idea of progress is particularly significant as the authors regard it as an essentially contested concept which can be defined in many ways – theoretically or empirically; locally or (...) globally; or as encouraging or impeding the existence of other research traditions. The authors discuss the idea that for progress to make any sense there must be an accumulation of knowledge built up over time rather than the replacement of ideas by each successive generation. Accordingly, they are not concerned with estimating the price of progress, reminiscing in the past, or assessing what has been lost. Instead they apply the complex mechanisms and machinery of the discipline to sub-fields such as normative economics, monetary economics, trade and location theory, Austrian economics and classical economics to critically assess whether progress has been made in these areas of research. -/- Bringing together authoritative and wide-ranging contributions by leading scholars, this book will challenge and engage those interested in philosophy, economic methodology and the history of economic thought. It will also appeal to economists in general who are interested in the advancement of their profession. (shrink)

Richard Feldman’s well-known principle about disagreement and evidence – usually encapsulated in the slogan, ‘evidence of evidence is evidence’, (EEE) – invites the question, what should a rational believer do when faced by such evidence, especially when the disagreement is with an epistemic peer? The question has been the subject of much controversy. However, it has been recently suggested both that the principle is subject to counterexamples and that it is trivial. If either is the case, the question of (...) what to do in the face of evidence of evi- dence becomes less pressing. We contend that even if one or the other of these suggestions is right about (EEE) as a general principle about evidence, they leave it untouched insofar as it plays a role in the debates about the rational way to respond to disagreement and, in particular, to disagreement by an epistemic peer. This is because in such cases the evidence about which one has evidence and which is supposed to provide evidence against one's belief is the mere fact of someone’s disagreeing, rather than something that is related to the content of the proposition about which the parties disagree. We go on to argue that, so understood, the principle is false. (shrink)

Voting is often said to be irrational because of the incredibly small likelihood that an individual voter’s ballot will be pivotal in favour of her preferred candidate or party. A persuasive respon...

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The ancient Taoist text that forms the central part of this book was discovered by Wilhelm, who recognized it as essentially a practical guide to the integration of personality. Foreword and Appendix by Carl Jung; illustrations. Translated by Cary F. Baynes.A Helen and Kurt Wolff Book.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

"This is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.

Das Buch untersucht die Bedeutung des Begriffs rationalitas bei Hildegard von Bingen. Zunachst wird die Herkunft des Begriffs von der griechischen Logoslehre uber die fruhchristliche Trinitatsspekulation bis hin zur ratio-Rezeption des Fruhmittelalters beleuchtet. Auf diesem Hintergrund entfaltet der zweite Teil die anthropologisch-theologische Bedeutung von rationalitas fur das Weltbild Hildegards.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

Focused on city-scale automation, and using self-driving cars (SDCs) as a case study, this article reflects on the role of AI—and in particular, computer vision systems used for mapping and navigation—as a catalyst for urban transformation. Urban research commonly presents AI and cities as having a one-way cause-and-effect relationship, giving undue weight to AI’s impact on cities and overlooking the role of cities in shaping AI. Working at the intersection of data science and social research, this paper aims to counter (...) this trend by exploring the reverse perspective: how do cities affect the development, and expose the present limits, of SDCs? The contribution of this paper is threefold. First, by comparing urban and nonurban environments and thoroughly examining the relationship between computer vision and city-specific sociality and form, it defines machine autonomy/automation as a function of the sociotechnical milieu in which an AI system operates. Second, and related, the paper problematizes the notion of SDCs as autonomous technologies and the role it plays in envisioning contending policy arrangements and technical solutions for achieving full driving automation. Finally, the article offers insight into a materialist and spatialized understanding of AI—namely, not as an abstract quality susceptible to replication within discrete machines, but rather as a distributed property emerging through embodied interactions among a multiplicity of agents (human, non-human, and technological) within/with their environments. (shrink)

Populism is widely thought to be in tension with liberal democracy. This article clarifies what exactly is problematic about populism from a liberal–democratic point of view and goes on to develop normative standards that allow us to distinguish between more and less legitimate forms of populism. The point of this exercise is not to dismiss populism in toto; the article strives for a more subtle result, namely, to show that liberal democracy can accommodate populism provided that the latter conforms to (...) particular discursive norms. What the article calls a ‘liberal ethics of populism’ turns out to be closely bound up with a broader ethics of peoplehood, understood as a way of articulating who ‘the people’ are in a way that is compatible with liberal–democratic principles of political justification. Such an ethics, concludes the article, inevitably has a much wider audience than populist political actors: its addressees are all those who seek legitimately to exercise power in the name of the people. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views about (...) knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

Populist movements have become key players in European politics. These movements are readily criticized by journalists or political rivals, yet none of the common objections to populism seems to arrest their success. This article turns to normative political theory to cultivate sensitivity to problems arising from some existing arguments against populism, and to explore possible alternatives. It offers a critical reading of prototypical liberal and conservative arguments against populism, and proposes that the principles of solidarity and procedure provide good grounds (...) for a sustainable critique of populism. (shrink)

Popular sovereignty requires that citizens perceive themselves as being able to act and implement decisions, and that they are de facto causally connected to mechanisms of decision making. I argue that the two most common understandings of the exercise of popular sovereignty—which center on direct decision making by the people as a whole and the indirect exercise of democratic agency by elected representatives, respectively—are inadequate in this respect, and go on to suggest a complementary account that stresses the central role (...) of internally democratic and participatory political parties in actualising popular sovereignty, drawing on the democratic theory of Hans Kelsen. (shrink)

Populism is widely thought to be in tension with liberal democracy. This article clarifies what exactly is problematic about populism from a liberal–democratic point of view and goes on to develop...

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

In recent times, representation theory has become one of the most productive and interesting sub-fields in democratic theory. Arguably, the most important theoretical innovation are the so-called ‘constructivist’ approaches to political representation. These approaches play a central role in Creating Political Presence: The New Politics of Democratic Representation and The Constructivist Turn in Political Representation, two impressive volumes that take stock of the state of the art in representation theory. I discuss the two volumes by focusing on three broader and (...) interconnected themes: the problem that constructivism is meant to respond to, the tendency of representation theorists to expand the possibilities of representation as broadly as possible, and the normative aspects of political representation and how constructivists deal with them. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

In recent times, representation theory has become one of the most productive and interesting sub-fields in democratic theory. Arguably, the most important theoretical innovation are the so-called ‘constructivist’ approaches to political representation. These approaches play a central role in Creating Political Presence: The New Politics of Democratic Representation and The Constructivist Turn in Political Representation, two impressive volumes that take stock of the state of the art in representation theory. I discuss the two volumes by focusing on three broader and (...) interconnected themes: the problem that constructivism is meant to respond to, the tendency of representation theorists to expand the possibilities of representation as broadly as possible, and the normative aspects of political representation and how constructivists deal with them. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)